Explorer Propositions as Types
نویسنده
چکیده
منابع مشابه
Evidence Marking in Research Articles: An Investigation of its Sources and Relative Reliability through Quality Markers
Evidence occupies a paramount position in any logical endeavor and research article is consensually considered a predominant site of such an endeavor. One interesting area of rhetoric which addresses the source and reliability of evidence is quality metadiscourse. In this qualitative study, quality metadiscourse strategies (i.e., evidentials, hedges, boosters and disclaimers) are examined to in...
متن کاملIntroducing the Iranian moss flora explorer
Mosses (a section of bryophytes), are considered as an important group of non-flowering plants which a modern computer-assisted database system is not yet prepared for their determination and description key in Iran. Following a software package recently designed under a research project for assessment of moss diversity of Iran by the authors, the present paper is prepared to: I) introducing co...
متن کاملPropositions, Questions, and Adjectives: a rich type theoretic approach
We consider how to develop types corresponding to propositions and questions. Starting with the conception of Propositions as Types, we consider two empirical challenges for this doctrine. The first relates to the putative need for a single type encompassing questions and propositions in order to deal with Boolean operations. The second relates to adjectival modification of question and proposi...
متن کاملAmbiguous propositions typed
Ambiguous propositions are analyzed in a type system where disambiguation is effected during assembly (i.e. by coercion). Ambiguity is introduced through a layer of types that are underspecified relative to a pre-existing collection of dependent types, construed as unambiguous propositions. A simple system of reasoning directly with such underspecification is described, and shown to be sound an...
متن کاملSignatures + Propositions Used as Types ?
Languages that distinguish between types and structures use explicit components for the carrier type(s) in structures. Examples are the functional language Standard ML and most algebraic speciication systems. Hence, they have to use general sum types or signatures to give types to structures and to be able to build, for instance, the algebraic hierarchy. Furthermore, in most languages the model...
متن کامل